Universally Composable Key-Management
Identifieur interne : 001454 ( Main/Exploration ); précédent : 001453; suivant : 001455Universally Composable Key-Management
Auteurs : Steve Kremer [France] ; Robert Künnemann [France] ; Graham Steel [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: We present the first universally composable key-management functionality, formalized in the GNUC framework by Hofheinz and Shoup. It allows the enforcement of a wide range of security policies and can be extended by diverse key usage operations with no need to repeat the security proof. We illustrate its use by proving an implementation of a security token secure with respect to arbitrary key-usage operations and explore a proof technique that allows the storage of cryptographic keys externally, a novel development in simulation-based security frameworks.
Url:
DOI: 10.1007/978-3-642-40203-6_19
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 002955
- to stream Istex, to step Curation: 002919
- to stream Istex, to step Checkpoint: 000080
- to stream Hal, to step Corpus: 005075
- to stream Hal, to step Curation: 005075
- to stream Hal, to step Checkpoint: 001289
- to stream Main, to step Merge: 001466
- to stream Main, to step Curation: 001454
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Universally Composable Key-Management</title><author><name sortKey="Kremer, Steve" sort="Kremer, Steve" uniqKey="Kremer S" first="Steve" last="Kremer">Steve Kremer</name></author><author><name sortKey="Kunnemann, Robert" sort="Kunnemann, Robert" uniqKey="Kunnemann R" first="Robert" last="Künnemann">Robert Künnemann</name></author><author><name sortKey="Steel, Graham" sort="Steel, Graham" uniqKey="Steel G" first="Graham" last="Steel">Graham Steel</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:AF2EF7C2028EB3DB0F74AD6E90BA96DA72178F4F</idno><date when="2013" year="2013">2013</date><idno type="doi">10.1007/978-3-642-40203-6_19</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-KL61J475-M/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">002955</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002955</idno><idno type="wicri:Area/Istex/Curation">002919</idno><idno type="wicri:Area/Istex/Checkpoint">000080</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000080</idno><idno type="wicri:doubleKey">0302-9743:2013:Kremer S:universally:composable:key</idno><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:hal-00878632</idno><idno type="url">https://hal.inria.fr/hal-00878632</idno><idno type="wicri:Area/Hal/Corpus">005075</idno><idno type="wicri:Area/Hal/Curation">005075</idno><idno type="wicri:Area/Hal/Checkpoint">001289</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">001289</idno><idno type="wicri:Area/Main/Merge">001466</idno><idno type="wicri:Area/Main/Curation">001454</idno><idno type="wicri:Area/Main/Exploration">001454</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Universally Composable Key-Management</title><author><name sortKey="Kremer, Steve" sort="Kremer, Steve" uniqKey="Kremer S" first="Steve" last="Kremer">Steve Kremer</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>LORIA & INRIA Nancy – Grand-Est</wicri:regionArea></affiliation></author><author><name sortKey="Kunnemann, Robert" sort="Kunnemann, Robert" uniqKey="Kunnemann R" first="Robert" last="Künnemann">Robert Künnemann</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>INRIA Paris – Rocquencourt</wicri:regionArea></affiliation></author><author><name sortKey="Steel, Graham" sort="Steel, Graham" uniqKey="Steel G" first="Graham" last="Steel">Graham Steel</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>INRIA Paris – Rocquencourt</wicri:regionArea></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: We present the first universally composable key-management functionality, formalized in the GNUC framework by Hofheinz and Shoup. It allows the enforcement of a wide range of security policies and can be extended by diverse key usage operations with no need to repeat the security proof. We illustrate its use by proving an implementation of a security token secure with respect to arbitrary key-usage operations and explore a proof technique that allows the storage of cryptographic keys externally, a novel development in simulation-based security frameworks.</div></front></TEI><affiliations><list><country><li>France</li></country></list><tree><country name="France"><noRegion><name sortKey="Kremer, Steve" sort="Kremer, Steve" uniqKey="Kremer S" first="Steve" last="Kremer">Steve Kremer</name></noRegion><name sortKey="Kunnemann, Robert" sort="Kunnemann, Robert" uniqKey="Kunnemann R" first="Robert" last="Künnemann">Robert Künnemann</name><name sortKey="Steel, Graham" sort="Steel, Graham" uniqKey="Steel G" first="Graham" last="Steel">Graham Steel</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001454 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 001454 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:AF2EF7C2028EB3DB0F74AD6E90BA96DA72178F4F
|texte= Universally Composable Key-Management
}}
| This area was generated with Dilib version V0.6.33. |  |